$\forall$$w$:World, $e$:E, $i$:Id. ($i$ = loc($e$)) $\Rightarrow$ ($\neg$($\uparrow$isnull(a($i$;time($e$)))))